A Method for Automatic Design Error Location

c ?? Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. A Method for Automatic Design Error Location and Correction in Combinational Logic Circuits AYMAN M. WAHBA AND DOMINIQUE BORRIONE Mod elisation et Preuves de Circuits, TIMA Laboratory, BP 53X, 38041 Grenoble Cedex FRANCE [email protected], [email protected] Received ??. Revised ??. Abstract. We present a new diagnostic algorithm, based on backward-propagation, for localising design errors in combinational logic circuits. Three hypotheses are considered, that cover all single gate replacement and insertion errors. Diagnosis-oriented test patterns are generated in order to rapidly reduce the suspected area where the error lies. The originality of our method is the use of patterns which do not detect the error, in addition to detecting patterns. A theorem shows that, in favourable cases, only two patterns su ce to get a correction. We have implemented the test generation and diagnosis algorithms. Results obtained on benchmarks show that the error is always found, after the application of a small number of test patterns, with an execution time proportional to the circuit size.